Knihy od autora Franck Cassez

Zobrazeno 1 – 3 z 3 výsledků

1. 

   Modeling and Verification of Parallel Processes

   Franck Cassez, Claude Jard, Brigitte Rozoy | Springer, Berlin, 2001

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1131 Kč

   Koupit
2. 

   Automated Technology for Verification and Analysis

   Franck Cassez, Jean-Francois Raskin | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit
3. 

   Formal Modeling and Analysis of Timed Systems

   Franck Cassez, Claude Jard | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1350 Kč

   Koupit

Knihy zasíláme ve speciálních obalech z pevné lepenky. Zjistěte více